No topologies characterize differentiability as continuity
نویسندگان
چکیده
منابع مشابه
Continuity and Differentiability in ACL2
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irrational real and complex numbers in ACL2’s numeric system. It then shows how the modified ACL2 can prove classic theorems of analysis, such as the intermediate-value and mean-value theorems.
متن کاملPointwise Differentiability and Absolute Continuity
This paper is concerned with the relationships between L differentiability and Sobolev functions. It is shown that if / is a Sobolev function with weak derivatives up to order k in L , and 0 s / s k, then / has an L derivative of order / everywhere except for a set which is small in the sense of an appropriate capacity. It is also shown that if a function has an 2V derivative P everywhere excep...
متن کاملTopologies, continuity and bisimulations
-The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, based on the modal //-calculus. Our purpose here is to give an analysis of the concept, starting with the observation that the zig-zag conditions are suggesti...
متن کاملCone Monotone Functions: Differentiability and Continuity
We provide a porosity based approach to the differentiability and continuity of real valued functions on separable Banach spaces, when the function is monotone with respect to an ordering induced by a convex cone K with non-empty interior. We also show that the set of nowhere K-monotone functions has a σ-porous complement in the space of the continuous functions.
متن کاملCone Monotone Mappings: Continuity and Differentiability
We generalize some results of Borwein, Burke, Lewis, and Wang to mappings with values in metric (resp. ordered normed linear) spaces. We define two classes of monotone mappings between an ordered linear space and a metric space (resp. ordered linear space): K-monotone dominated and coneto-cone monotone mappings. K-monotone dominated mappings naturally generalize mappings with finite variation (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1971
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1971-0271969-5